$e$ $\leq$ ${\it e'}$  $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($e$ $<$loc ${\it e'}$) $\vee$ $e$ $=$ ${\it e'}$